/*
 * webcmd.h
 *
 *  Created on: 15-May-2011
 *      Author: tan-ce
 */

#ifndef WEBCMD_H_
#define WEBCMD_H_

#include <string>

void launch_webcmd(int argc, char *argv[]);

#endif /* WEBCMD_H_ */
